Narkawicz, Anthony: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Automatic Generation of DO-178 Test Procedures

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 1.07 MB

english, 2018

2

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 1.29 MB

english, 2018

3

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Twenty Percent and a Few Days – Optimising a Bitcoin Majority Attack

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 570 KB

english, 2018

4

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Static Value Analysis of Python Programs by Abstract Interpretation

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 1.28 MB

english, 2018

5

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Sound Black-Box Checking in the LearnLib

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 605 KB

english, 2018

6

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Incremental Construction of Realizable Choreographies

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 773 KB

english, 2018

7

[American Institute of Aeronautics and Astronautics 2018 AIAA Information Systems-AIAA Infotech @ Aerospace - Kissimmee, Florida ()] 2018 AIAA Information Systems-AIAA Infotech @ Aerospace - UAS Hazard Mitigation through Assured Compliance with Conformance Criteria

Dill, Evan T., Hayhurst, Kelly J., Young, Steven D., Narkawicz, Anthony J.

Language:

english

File:

PDF, 285 KB

english

8

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 1.29 MB

english, 2018

9

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Towards a Formal Safety Framework for Trajectories

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 242 KB

english, 2018

10

Characterizing the Effects of a Vertical Time Threshold for a Class of Well-Clear Definitions

Upchurch, Jason, Muñoz, César, Narkawicz, Anthony, Consiglio, María, Chamberlain, James

Journal:

Air Traffic Control Quarterly

Year:

2015

Language:

english

File:

PDF, 932 KB

english, 2015

11

[IEEE 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Prague, Czech Republic (2015.9.13-2015.9.17)] 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - DAIDALUS: Detect and avoid alerting logic for unmanned systems

Munoz, Cesar, Narkawicz, Anthony, Hagen, George, Upchuch, Jason, Dutle, Aaron, Consiglio, Maria, Chamberlain, James

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

12

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Experience Report: Application of Falsification Methods on the UxAS System

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 551 KB

english, 2018

13

[American Institute of Aeronautics and Astronautics 16th AIAA Aviation Technology, Integration, and Operations Conference - Washington, D.C. ()] 16th AIAA Aviation Technology, Integration, and Operations Conference - Algorithms for Collision Detection Between a Point and a Moving Polygon, with Applications to Aircraft Weather Avoidance

Narkawicz, Anthony, Hagen, George E.

Language:

english

File:

PDF, 359 KB

english

14

[American Institute of Aeronautics and Astronautics 14th AIAA Aviation Technology, Integration, and Operations Conference - Atlanta, GA ()] 14th AIAA Aviation Technology, Integration, and Operations Conference - A Family of Well-Clear Boundary Models for the Integration of UAS in the NAS

Munoz, Cesar, Narkawicz, Anthony, Chamberlain, James, Consiglio, Maria C., Upchurch, Jason M.

Language:

english

File:

PDF, 478 KB

english

15

Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems

Narkawicz, Anthony, Muñoz, César, Dutle, Aaron

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 1.19 MB

english, 2015

16

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Formal Assurance for Cooperative Intelligent Autonomous Agents

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 1.90 MB

english, 2018

17

[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - A Rigorous Generic Branch and Bound Solver for Nonlinear Problems

Smith, Andrew P., Munoz, Cesar A., Narkawicz, Anthony J., Markevicius, Mantas

Year:

2015

Language:

english

File:

PDF, 425 KB

english, 2015

18

[IEEE 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC) - Sacramento, CA, USA (2016.9.25-2016.9.29)] 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC) - ICAROUS: Integrated configurable algorithms for reliable operations of unmanned systems

Consiglio, Maria, Munoz, Cesar, Hagen, George, Narkawicz, Anthony, Balachandran, Swee

Year:

2016

Language:

english

File:

PDF, 282 KB

english, 2016

19

[IEEE 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) - London, United Kingdom (2018.9.23-2018.9.27)] 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) - Sensor Uncertainty Mitigation and Dynamic Well Clear Volumes in DAIDALUS

Narkawicz, Anthony, Munoz, Cesar, Dutle, Aaron

Year:

2018

Language:

english

File:

PDF, 493 KB

english, 2018

20

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 1.51 MB

english, 2018

21

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Verification of Fault-Tolerant Protocols with Sally

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 350 KB

english, 2018

22

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Output Range Analysis for Deep Feedforward Neural Networks

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 2.06 MB

english, 2018

23

Provably correct conflict prevention bands algorithms

Anthony Narkawicz, César Muñoz, Gilles Dowek

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 404 KB

english, 2012

24

[IEEE 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) - Williamsburg, VA (2012.10.14-2012.10.18)] 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) - The search for effective algorithms for recovery from loss of separation

Butler, Ricky, Hagen, George, Maddalon, Jeffrey, Munoz, Cesar, Narkawicz, Anthony

Year:

2012

Language:

english

File:

PDF, 2.57 MB

english, 2012

25

[IEEE 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Prague, Czech Republic (2015.9.13-2015.9.17)] 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Human-in-the-loop experimental research for detect and avoid

Consiglio, Maria, Munoz, Cesar, Hagen, George, Narkawicz, Anthony, Upchurch, Jason, Comstock, James, Ghatas, Rania, Vincent, Michael, Chamberlain, James

Year:

2015

Language:

english

File:

PDF, 2.06 MB

english, 2015

26

Formalization of Bernstein Polynomials and Applications to Global Optimization

César Muñoz, Anthony Narkawicz

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 1.23 MB

english, 2013

27

[American Institute of Aeronautics and Astronautics AIAA Infotech @ Aerospace - Kissimmee, Florida ()] AIAA Infotech @ Aerospace - A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories

Narkawicz, Anthony, Munoz, Cesar

Language:

english

File:

PDF, 388 KB

english

28

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Don’t Miss the End: Preventing Unsafe End-of-File Comparisons

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 353 KB

english, 2018

29

Selected extended papers of NFM 2018

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Journal:

Innovations in Systems and Software Engineering

Year:

2019

Language:

english

File:

PDF, 151 KB

english, 2019

30

[IEEE 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Prague, Czech Republic (2015.9.13-2015.9.17)] 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems

Munoz, Cesar, Narkawicz, Anthony, Hagen, George, Upchurch, Jason, Dutle, Aaron, Consiglio, Maria, Chamberlain, James

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

31

[American Institute of Aeronautics and Astronautics 16th AIAA Aviation Technology, Integration, and Operations Conference - Washington, D.C. ()] 16th AIAA Aviation Technology, Integration, and Operations Conference - Coordination Logic for Repulsive Resolution Maneuvers

Narkawicz, Anthony, Munoz, Cesar, Dutle, Aaron

Language:

english

File:

PDF, 1.26 MB

english

32

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Model-Based Testing for General Stochastic Time

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 605 KB

english, 2018

33

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Strategy Synthesis for Autonomous Agents Using PRISM

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 1.43 MB

english, 2018

34

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || The Use of Automated Theory Formation in Support of Hazard Analysis

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 275 KB

english, 2018

35

[American Institute of Aeronautics and Astronautics AIAA Guidance, Navigation, and Control (GNC) Conference - Boston, MA ()] AIAA Guidance, Navigation, and Control (GNC) Conference - A TCAS-II Resolution Advisory Detection Algorithm

Munoz, Cesar, Narkawicz, Anthony, Chamberlain, James

Language:

english

File:

PDF, 347 KB

english

36

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Using Test Ranges to Improve Symbolic Execution

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 443 KB

english, 2018

37

[IEEE 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Prague, Czech Republic (2015.9.13-2015.9.17)] 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Human-in-the-loop experimental research for detect and avoid

Consiglio, Maria, Munoz, Cesar, Hagen, George, Narkawicz, Anthony, Upchurch, Jason, Comstock, James, Ghatas, Rania, Vincent, Michael, Chamberlain, James

Year:

2015

Language:

english

File:

PDF, 1.26 MB

english, 2015

38

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 520 KB

english, 2018

39

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 533 KB

english, 2018

40

[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || On the Timed Analysis of Big-Data Applications

Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Year:

2018

Language:

english

File:

PDF, 633 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски